Note Sur LeCampylopus Longipilus (Brid.?) Bryol. Eur.I, Tab. 93!

Tab 12

Tab 11

Tab 5

The Pull-Tab Transformation

We present a new approach to the execution of functional logic programs. Our approach relies on definitional trees for the deterministic portions of a computation and on a graph transformation, called pull-tab, for the non-deterministic portions. This transformation moves, one level at a time, non-deterministic choices towards the root of the graph representing the state of a computation. With ...

Une note sur les contractions dans les polygones orthogonaux

Maire, F., Une note sur les contractions dans les polygones orthogonaux, Discrete Mathematics 111 (1993) 3677371. We define a contraction for orthogonal polygons, and show that such a polygon can be transformed into a rectangle by a sequence of contractions. This result gives a new proof of the orthogonal art gallery theorem. We present also a property of the maximal rectangles contained in ort...